|
|
Mathematical modelling with L-systems
Janoutová, Růžena ; Procházková, Jana (referee) ; Martišek, Dalibor (advisor)
This work deals with L-systems and their practical utilization. The work can be devided into two parts - theoretical and applied. In the theoretical part, i.e. in the first chapter, the L-systems are discussed. There can be found their introduction and classification. Apllied part includes second and third chapter. Second chapter contains review of L-system's utilization and third chapter is dedicated to program attached to this work, his description and manual.
|
|
|
Conversions between CF Grammars and Pushdown Automata
Makovský, Benjamin ; Goldefus, Filip (referee) ; Masopust, Tomáš (advisor)
This work suggests and solves the implementation of the transformation of context-free grammars and the conversions between context-free grammars and pushdown automata. It makes acquainted with the models used in modern theory of formal languages. In the work are indicated all algorithms necessary for transformations and mutual conversions between context-free grammars and pushdown automata. Proposed is an object representing the grammar and the automaton in the programme. Described is the assigning of definitions of grammar and of the automaton, the solution of drawing the automaton on the screen and the creation of graphical user interface of the application. The resulting programme is developed as Jawa applet which is available on public internet pages www.convertcfg.php5.cz.
|
|
| |
|
|
Live typeface
Jiříček, Milan ; Špiřík, Jan (referee) ; Rajmic, Pavel (advisor)
The work describes the theoretical foundations of modern methods of creating new fonts, that is, using information technology, specifically vector programs. It also marginally shows the history of the font, Roman writing, the basic division of its compositions and describes its individual elements. The next part of the project focuses on creating digital fonts and continues with bringing it to live using algorithms and methods that can easily be processed in Matlab programming language. The method of implementation of the bringing the typeface to live is described and presentation of the generated results are then shown in few examples. Attention is also paid to the coordinates system, which is very important to solve geometric transformations, and two-dimensional vector graphics, which are widely used in the design and to render the fonts. Bézier curves and cubic Bézier curves are described in further detail along with vector graphics rasterization. One part of this text describes very important de Casteljau algorithm. The last chapter focuses on implementation in Matlab programming language, the creation of curves, that means single font characters, and the ways of how the algorithm works with transformations. Some sample images showing transformations using different input arguments are displayed in this section as well. There is evaluation of the contribution of this application and the possibilities of further expansion at the end.
|
|
|
Languages, Grammars and Machines
Mocková, Ľubica ; Zimmerová, Barbora (referee) ; Bobalová, Martina (advisor)
My thesis is a brief synopsis of the basic types of formal languages, grammars and machines, which are a part of theoretical computer science. My thesis contains the survey of the theory related to the given topic and problems related to the theoretical part of my thesis. This work is to be used as a study material for the students of the Faculty of Business and Management for the subject of Discrete Mathematics. It can also be helpful for the students of other universities and faculties whose curricula contain theory of grammars and machines.
|
|
|
Machine Learning for Formal Language Model Inference
Bardonek, Petr ; Kocman, Radim (referee) ; Křivka, Zbyněk (advisor)
This bachelor thesis deals with the formal language model inference, which is a science discipline on the research field of artificial intelligence. The aim is to create an appliaction that allows the automatic inference of model, such as the finite state machine, for an unknown formal language from the set of the strings of the unknown formal language using the modified machine learning method.
|
|
|
Special running exercises in football training of young footballers
Fraňková, Lucie ; Kolčiterová, Jana (advisor) ; Kaplan, Aleš (referee)
Title: Special running exercises in football training of young footballers Objectives: The aim of this work is a comprehensive summary of special athletics running excercises as a means of training for young footballers. The aim of the empirical part is to find out by pooling the details about the usage and knowledge of special running excercises of trainers. Methods: In our thesis we used a method of questioning. Because our prepared questions were not standardized. The charakter of pooling is an inquiry. Respondents should be introduced as an unrepresentative sample. Data were collected by e- mail correspondence. Results were entered into graphs and tables and their interpretation has been made. Results: The term special running exercises is well known for most of coaches. All the coaches consider important to develop technique of running. 81% of respondents use special running exercises to develop the technique. Coaches apply SBC for many purposes. Compared with various kinds of match level the most correct- techniques-training is used in division's teams. None of the coaches, who uses a special running exercises to correct the errors in the technique of running weren't able to describe all the occurred errors. Keywords: athletics, ABC, football, training, technology, performance
|
|
|
Special running exercises in football training of young footballers
Fraňková, Lucie ; Kolčiterová, Jana (advisor) ; Kaplan, Aleš (referee)
Title: Special running exercises in football training of young footballers Objectives: The aim of this work is a comprehensive summary of special athletics running excercises as a means of training for young footballers. The aim of the empirical part is to find out by pooling the details about the usage and knowledge of special running excercises of trainers. Methods: In our thesis we used a method of questioning. Because our prepared questions were not standardized. The charakter of pooling is an inquiry. Respondents should be introduced as an unrepresentative sample. Data were collected by e- mail correspondence. Results were entered into graphs and tables and their interpretation has been made. Results: The term special running exercises is well known for most of coaches. All the coaches consider important to develop technique of running. 81% of respondents use special running exercises to develop the technique. Coaches apply SBC for many purposes. Compared with various kinds of match level the most correct- techniques-training is used in division's teams. None of the coaches, who uses a special running exercises to correct the errors in the technique of running weren't able to describe all the occurred errors. Keywords: athletics, ABC, football, training, technology, performance
|
|
| |
|
|
Languages, Grammars and Machines
Mocková, Ľubica ; Zimmerová, Barbora (referee) ; Bobalová, Martina (advisor)
My thesis is a brief synopsis of the basic types of formal languages, grammars and machines, which are a part of theoretical computer science. My thesis contains the survey of the theory related to the given topic and problems related to the theoretical part of my thesis. This work is to be used as a study material for the students of the Faculty of Business and Management for the subject of Discrete Mathematics. It can also be helpful for the students of other universities and faculties whose curricula contain theory of grammars and machines.
|
guest ::
